1. Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Logic programming-- Congresses,، Prolog )Computer program language(-- Congresses

رده :
QA
76
.
63
.
I566
1995

2. Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : Congresses ، Logic programming,Congresses ، Prolog )Computer program language(

رده :
QA
76
.
63
I566
1995